Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
1
Posthumous writings [of] Gottlob Frege

Posthumous writings [of] Gottlob Frege

Kaulbach, Friedrich, Hargreaves, Raymond, White, Roger, Frege, Gottlob, Long, Peter, Kambartel, Friedrich, Hermes, Hans
Рік:
1979
Мова:
english
Файл:
DJVU, 2.04 MB
0 / 0
english, 1979
2
Einführung in die mathematische Logik: Klassische Prädikatenlogik

Einführung in die mathematische Logik: Klassische Prädikatenlogik

Dr. rer. nat. Hans Hermes (auth.)
Рік:
1972
Мова:
german
Файл:
PDF, 6.29 MB
0 / 0
german, 1972
3
Posthumous Writings

Posthumous Writings

Gottlob Frege, Hermes, Hans, Kambartel, Friedrich, Kaulbach, Friedrich (eds), Long, Peter, White, Roger (translators)
Рік:
1979
Мова:
english
Файл:
DJVU, 2.85 MB
0 / 0
english, 1979
4
Rekursive Funktionen

Rekursive Funktionen

Klaus Heidler, Hans Hermes, Friedrich Mahn
Рік:
1977
Мова:
german
Файл:
PDF, 13.85 MB
0 / 0
german, 1977
5
Eine Termlogik mit Auswahloperator

Eine Termlogik mit Auswahloperator

Hans Hermes
Рік:
1965
Мова:
german
Файл:
DJVU, 200 KB
0 / 0
german, 1965
6
Eine Termlogik mit Auswahloperator

Eine Termlogik mit Auswahloperator

Hans Hermes (auth.)
Рік:
1965
Мова:
german
Файл:
DJVU, 256 KB
0 / 0
german, 1965
7
Numbers

Numbers

Heinz-Dieter Ebbinghaus, Hans Hermes, Friedrich Hirzebruch, Max Koecher, Klaus Mainzer, Jürgen Neukirch, Alexander Prestel, Reinhold Remmert, John H. Ewing, H.L.S. Orde, K. Lamotke
Рік:
1991
Мова:
english
Файл:
PDF, 9.60 MB
0 / 0
english, 1991
9
Numbers

Numbers

Heinz-Dieter Ebbinghaus, Hans Hermes, Friedrich Hirzebruch, Max Koecher, Klaus Mainzer, Jürgen Neukirch, Alexander Prestel, Reinhold Remmert (auth.)
Рік:
1991
Мова:
english
Файл:
PDF, 18.77 MB
0 / 0
english, 1991
10
Enumerability · Decidability Computability: An Introduction to the Theory of Recursive Functions

Enumerability · Decidability Computability: An Introduction to the Theory of Recursive Functions

Hans Hermes (auth.)
Рік:
1965
Мова:
english
Файл:
PDF, 6.63 MB
0 / 0
english, 1965
11
Numbers

Numbers

Heinz-Dieter Ebbinghaus, Hans Hermes, Friedrich Hirzebruch, Max Koecher, Klaus Mainzer, Jürgen Neukirch, Alexander Prestel, Reinhold Remmert, John H. Ewing, H.L.S. Orde, K. Lamotke
Рік:
1990
Мова:
english
Файл:
PDF, 46.17 MB
0 / 0
english, 1990
12
Introduction to Mathematical Logic

Introduction to Mathematical Logic

Dr. Hans Hermes (auth.)
Рік:
1973
Мова:
english
Файл:
PDF, 6.99 MB
0 / 0
english, 1973
13
Numbers

Numbers

Heinz-Dieter Ebbinghaus, Hans Hermes, Friedrich Hirzebruch, Max Koecher, Klaus Mainzer, Jürgen Neukirch, Alexander Prestel, Reinhold Remmert, John H. Ewing, H.L.S. Orde, K. Lamotke
Рік:
1990
Мова:
english
Файл:
DJVU, 8.40 MB
0 / 0
english, 1990
18
Term Logic with Choice Operator

Term Logic with Choice Operator

Hans Hermes
Рік:
1970
Мова:
english
Файл:
PDF, 1.20 MB
0 / 0
english, 1970
19
Einführung in die Verbandstheorie

Einführung in die Verbandstheorie

Prof. Dr. Hans Hermes (auth.)
Рік:
1967
Мова:
german
Файл:
PDF, 9.18 MB
0 / 0
german, 1967
21
Zahlen

Zahlen

Heinz-Dieter Ebbinghaus, Hans Hermes, Friedrich Hirzebruch, Max Koecher, Klaus Mainzer, Alexander Prestel, Reinhold Remmert (auth.)
Рік:
1983
Мова:
german
Файл:
PDF, 22.16 MB
0 / 0
german, 1983
22
Die Rolle der Logik beim Aufbau naturwissenschaftlicher Theorien

Die Rolle der Logik beim Aufbau naturwissenschaftlicher Theorien

Hans Hermes (auth.)
Рік:
1967
Мова:
german
Файл:
PDF, 882 KB
0 / 0
german, 1967
24
Einführung in die Verbandstheorie

Einführung in die Verbandstheorie

Hans Hermes (auth.)
Рік:
1955
Мова:
german
Файл:
PDF, 9.04 MB
0 / 0
german, 1955
25
Eine Termlogik mit Auswahloperator

Eine Termlogik mit Auswahloperator

Hans Hermes (auth.)
Рік:
1965
Мова:
english
Файл:
PDF, 2.00 MB
0 / 0
english, 1965